Lo studio degli interventi politici repubblicani fiorentini dopo il 1494 (prediche savonaroliane, testi d'intervento, discorsi, dialoghi, cronache e storie) mette in rilievo in quest'articolo la nascita di una nuova lingua della politica, più immediata, più efficace, più precisa, più chiara che intende render conto dei tempi nuovi della guerra permanente e del suo stato d'emergenza. Questa retorica inedita porta quindi in sé nuove forme di razionalità politica che portono con sé buona parte dell'aurora della politica moderna.

La concepción de lo Absoluto en Hegel comprende a Dios en la figura de la Religión. En ella, Dios no es considerado una sustancia abstracta, igual a sí misma, sino una figura del Espíritu que, en cuanto tal, pasa por el “dolor de lo negativo”, loque acarrea su movimiento dialéctico. La experiencia propia de la religión moderna, la “muerte de Dios”, obedece a este extrañamiento. Su manifestación concierne a la Encarnación de Dios y al abandono sacrificial del Hijo que atestigua (...) la retirada del Padre. El texto desarrolla esta negatividad inherente a lo divino en los textos del período de Jena: Creer y saber , la Filosofía de la naturaleza , y principalmente la Fenomenología del espíritu , en la que se examinan las figuras de la “conciencia desventurada”, la “religión del arte” y la “religión revelada”. (shrink)

In this paper I argue that the rationality of law and legal decision making would be enhanced by a systematic attempt to recognize and respond to the implications of empirical uncertainty for policy making and decision making. Admission of uncertainty about the accuracy of facts and the validity of assumptions relied on to make inferences of fact is commonly avoided in law because it raises the spectre of paralysis of the capacity to decide issues authoritatively. The roots of this short-sighted (...) view are found in primitive mechanical models of relationships in the empirical and social world – those of objective causality and determinism. Insofar as it is believed that if we had sufficient data a clear and unequivocal answer would be available to each question, admission of uncertainty is seen as a sign of insufficiency, incompetence, impotence, and is avoided whenever a decision that must be seen to be based on valid reasons, cannot be avoided. Avoidance of some decisions, duplicity in others, is the result. -/- Decision-making must be restructured to recognize the provisional and context-bound validity and relevance of the models we use to conceptualize and order our understanding of phenomena, and to utilize this awareness as an instrument in the production of legal policies and decisions that will be authoritative precisely because they are honestly accurate and socially responsible. The paper makes a start on such a re-structuring of the legal process by exploring the implications of the observation that if law is to be “just”: 1) legal policy must be based on accurate information and rationally related to social goals; and 2) decisions applying policy to individual fact situations must be based on assumptions that are both relevant and accurate. -/- Reasons for determinations of fact must be given, otherwise the presumption that the trier of fact is “reasonable” is an unconditional licence to use private modes of logic and theories of social and natural science. What is not disclosed cannot be challenged on grounds of invalidity or irrelevance. -/- Use of “objective validity” as a standard to evaluate conclusions made by the trier of fact in contentious cases would only serve to beg all important questions by concealing: 1) fundamental normative conflict, and 2) the limited nature and applicability of many validity claims. -/- Our use of the phrases “undue risk,” “public interest,” “reasonable,” and “necessary,” reflects the weight we choose to give conflicting social values and goals when we must make decisions in relative ignorance of all the consequences. “Objective criteria” are of limited utility in legal decision-making because their social meaning is derivative. Policy generation in the absence of any coherent conceptual-normative framework, use of vague terminology in legislation stating policy, and the absence of rational means to distinguish between individual cases to which decision-makers are required by law to apply policy, make it inevitable that many legal “decisions” made in the guise of determinations of objective fact, are charades, an arbitrary, capricious, intuitive, subjective (and thus private) use of public decision-making power. -/- Law must alter its aspirations and recognize that rational decision-making is a process that can occur only within parameters set by present knowledge and societal preference structures. Only by working with the constraints imposed by these parameters is it possible to achieve “just” decisions. Where no rational basis for differentiating cases exists, “individualized justice” must be avoided and public policy articulated in law applied uniformly to all cases in a class. The terms “reasonable” and “necessary,” used to describe policy and its consequences for specific cases, must be understood to represent provisional societal assessments, attempts to implement societal preference structures in the face of limited knowledge. Heightened awareness of the limited nature of our knowledge can only result in legal policies that have a more explicit normative basis. -/- The volume is is published with an introduction by Michael D. Bayles. It is available in hardback, paperback, and as an ebook. (shrink)

, which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...) Felleisen and Griffin [6] who discovered that the law of Peirce corresponds to control instructions in functional programming languages. It is interesting to notice that, as early as 1972, Clint and Hoare [1] had made an analogous remark for the law of excluded middle and controlled jump instructions in imperative languages.There are now many type systems which are based on classical logic; among the best known are the system LC of J.-Y. Girard [5] and the λμ-calculus of M. Parigot [11]. We shall use below a system closely related to the latter, called the λ c -calculus [8, 9]. Both systems use classical second order logic and have the normalization property.In the sequel, we shall extend the λ c -calculus to the Zermelo-Frænkel set theory. The main problem is due to the axiom of extensionality. To overcome this difficulty, we first give the axioms of ZF in a suitable (equivalent) form, which we call ZF ɛ. (shrink)

This paper shows that Aristotle's De Interpretatione does not separate syntax from semantics. Linguistic sentences are not syntactic entities, and non-linguistic meanings are not semantic propositions expressed by linguistic sentences. In fact, Aristotle resorts to a mental conception of meaning, distinguishing linguistic meanings in a given language from non-linguistic mental contents in relation to actual things: while the former are not the same for all, the latter are shared by everyone. Aristotle is not a modern logician, like Boole, Frege, or (...) Russell, in so far as a mental conception of meaning does not reveal an abstract semantics for a syntactic language. (shrink)

Artificial intelligency can bring speed and reliability to drug discovery process. It represents an additional intelligence, which in any case can replace the strategic and logic creative insight of the medicinal chemist who remains the architect and molecule master designer. In terms of drug design, artificial intelligency, deep learning machines, and other revolutionary technologies will match with the medicinal chemist’s natural intelligency, but for sure never go beyond. This manuscript tries to assess the impact of the artificial intelligency on drug (...) discovery today. (shrink)

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée (...) à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

Trade in high-value-added toxins for therapeutic and biological use is expanding. These toxins are generally derived from microalgae belonging to the dinoflagellate family. Due to the difficulties to grow these sensitive planktonic species and to the complexity of methods used to synthesize these molecules, which are generally complex chemical structures, biotoxin manufacturers called on artificial intelligence technologies. Manufacturing processes have been greatly improved through the development of specific learning neural networks, applied to each phases of biotoxin production: photo-bioreactors operating at (...) optimal yied; new chemical synthesis research processes; toxin biosynthetic research pathways offering short-cut possibilities. (shrink)

Véronique Adam : Les neurosciences ne s’intéressent que depuis très récemment à l’olfaction. Pourriez‑vous expliquer pourquoi ce sens est devenu un objet d’étude plus prégnant? Jean-Louis Millot : En fait, l’olfaction demeure encore peu étudiée comparée à d’autres modalités sensorielles. De manière générale, les neurosciences cognitives actuelles, comme d’autres investigations scientifiques chez l’homme par le passé, se focalisent davantage sur les compétences cognitives complexes, telles qu...

La formule selon laquelle « l’homme est un animal politique par nature » est une des plus connues d’Aristote, pour cela même méconnue. L’objet de cette étude est de montrer qu’il n’y a pas lieu d’interpréter cela d’une façon trop naturaliste, ou, pire, « réductionniste ». Que la nature soit à l’origine de l’élan ayant présidé à l’apparition de la polis est certain, mais qu’elle gouverne tout le processus l’est nettement moins. À commencer par les critères de la distinction entre (...) les différentes constitutions, faites par les citoyens eux-mêmes. De même en va-t-il pour l’acquisition de la vertu morale, qui n’est nullement donnée par la nature et que les citoyens se devraient de posséder. D’où il résulte qu’en matière de politique, il est bien plus question d’éducation que de nature. (shrink)

The biological function of human reasoning abilities cannot be to improve shared knowledge. This is at best a side effect. A more plausible function of argumentation, and thus of reasoning, is to advertise one's ability to detect lies and errors. Such selfish behavior is closer to what we should expect from a naturally selected competence.

Il y a bien eu, dans le refus d'un culte des images en Europe latine, la construction d'un dogme des images portant prescription de leur usage conforme à leur pouvoir d'évocation du passé (un art de mémoire), aux manipulations de figures dans la machinerie des rêves. La théologie et les philosophies en ont fait l'instrument approché de toute connaissance conçue comme la lecture d'un tableau, possible parce que nous en participons par notre nature. Que signifient les formules de la création (...) : l'homme a été fait comme une image? l'homme a été créé selon le mode des images? Dieu a créé l'homme à son image, ou encore, il l'a fabriqué par une image? (shrink)

Signifiance du monde propose une "harmonisation intégrale" entre la linguistique saussuro-guillaumienne des langues naturelles et la pensée phénoménologique heideggérienne de la vérité de l'être en tant qu'alètheia, dans son sens grec de "ce qui sort de la latence" et que Jean-Louis Tristani nomme illatence. En d'autres termes, cet essai donne accès à une compréhension des "relations grammaticales évidentes qui articulent l'être, dans sa vérité, et la pensée, telles qu'elles sont a priori données dans le système linguistique de n'importe (...) quelle langue naturelle". Cette mise au jour de la co-originarité de la langue et de la pensée corrobore la formule du linguiste français Antoine Meillet, maintes fois citée par Gustave Guillaume, selon laquelle, en ce lieu intelligible de la langue "tout se tient et a un plan d'une pleine rigueur". Une rigueur qui intègre le système morpho-lexical d'une langue, en tant qu'intégrale des conditions d'effection du discours, avec les conditions existentiales de possibilité du Dasein en tant qu'être-au-monde. D'où Signifiance du monde, ce titre qui annonce la composante linguistique de notre présence au monde."--Page 4 of cover. (shrink)

La défense canguilhemienne de l’institution philosophique s’inscrit dans une lignée républicaine ; cette attitude diffère de celle propre à certains de ses contemporains (Nizan), ou de ses cadets (Althusser, Foucault). Canguilhem a toujours défendu l’importance de la philosophie quand elle était menacée par les sciences humaines et sociales, tant au moment du succès de l’existentialisme que pendant le structuralisme des années 1960 ; il fut, en même temps, le critique de certaines manières de concevoir la philosophie (existentialiste ou spiritualiste), de (...) certaines modes de sa pratique (journalistique ou littéraire), et un innovateur en matière de pédagogie. (shrink)

Celem pracy jest podanie reguł semantycznych dla logik, w których funkcjonują obok siebie funktory modalne i funktory deontyczne. Idea wspólnego traktowania tych funktorów. a w szczególności badania związków między nimi, została zapoczątkowana jeszcze w 1671 r. przez Leibnitza w "Elementa juris naturalis". Autor rozróżnia trzy następujące koncepcje dotyczące wzajemnych relacji między rozważanymi dwoma rodzajami funktorów logicznych: 1) koncepcję Leibnitza, wg. której konieczność implikuje obowiązek; 2) koncepcję, w której konieczność jest nieporównywalna z obowiązkiem; 3) zmodyfikowaną koncepcję [2] drogą pomysłowej modyfikacji znanej (...) semantyki Kripkego - autor wprowadza dodatkowe rozróżnienie światów na pozytywne i negatywne. Interesująco wypadają też porównania reguł semantyk dla trzech wymienionych wyżej koncepcji i rozważania wzajemnych powiązań czterech pojęć deontycznych: silnego obowiązku, silnego zakazu, słabego przyzwolenia i słabej "dowolności" - okazuje się, że spośród szesnastu możliwych relacji aż osiem spełnionych jest równocześnie we wszystkich trzech semantykach, Artykuł kończą uwagi na temat możliwych konsekwencji i zastosowań zaprezentowanego materiału. (shrink)

Christianism often mentions perfumes. Its liturgy based on Scripture uses incense and balm. A reading from the Bible and the lives of saints reveals many extraordinary perfumes (“odours of sanctity”). The Virgin Mary holds extreme importance among saints and it is quite common to see her spreading miraculous fragrances. These are subtle, discrete but pleasant signals from Heaven. They are sent to everyone in order to convert non‑believers or turn back believers to the faith in God. The divine origin of (...) perfumes is tied up with the memories and hopes from Paradise. It marks bodies escaping from death and entering into eternal life. (shrink)

Cette étude analyse comment la mise en scène d'une méditation sur les ruines des anciens empires conduit Volney à opposer le cycle des révolutions à la Révolution française. Les vertus du décentrement, tout autant méthodologiques que philosophiques et politiques, sont multiples et elles permettent d'instruire le procès des religions. Si la Révolution française est exemplaire, c'est donc parce quelle annonce ce mouvement de prise en main de leur destin par les peuples. Pourquoi faut-il dès lors encore recourir à un catéchisme (...) ?This study examines how the staging of a meditation on the ruins of the ancient empires leads Volney to contrast the seemingly endless cycle of revolutions to the French Revolution. Decentration has virtues — as much methodological as philosophical and political — that are multiple, and that allow to put religions on trial. If the French Revolution is paradigmatic, it is because it announces this movement by which the peoples will take their destiny in their own hands. But then, why should a catechism still be needed? (shrink)